/*
  孤勇岁月
  题目描述
    2013 年是不是已经成为非常久远的记忆了呢？
    有趣的是，2013 年居然是自 1987 年以来，第一个四位数字都不相同的年份。
    这样四位数字都不相同的年份我们称之为孤勇岁月。

    现在给出小瓜出生的年份 n，请你帮他计算一下他之后面临的第一个孤勇岁月（不包括 n 本身）是哪一年吧！
  输入
    小瓜出生的年份 n (1000 ≤ n ≤ 9000)
  输出
    小瓜能面临的第一个孤勇岁月
  样例输入
    1987
  样例输出
    2013
*/

#include <bits/stdc++.h>

using namespace std;

int main() {
    int n;
    int a, b, c, d;

    cin >> n;
    a = n % 10;
    b = n / 10 % 10;
    c = n / 100 % 10;
    d = n / 1000;

    for (int i = n + 1; i <= 9999; i++) { // 说明: 这里的 9999 为 4 位数的最大值一定可以找到一个这样的数!
        a = i % 10;
        b = i / 10 % 10;
        c = i / 100 % 10;
        d = i / 1000;
        if (a != b && a != c && a != d && b != c && b != d && c != d) {
            cout << d << c << b << a;
            return 0;
        }
    }

    return 0;
}